# Makefile for documentation

default :
	make -C ../../.. user-manual-test
	make -C .. html

# EOF
